Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🔤Type Theory
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Dmitri Tymoczko
johncarlosbaez.wordpress.com·13h
💎Information Crystallography
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
A Lamentation for Linnaeus: In Praise of Confusion and Rewilding Wonder
themarginalian.org·1d
🧲Magnetic Philosophy
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·20h
⚔️Lean Theorem
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
Day 3: Type Casting - Transforming Data Types - 30 Days of Python Challenge
dev.to·2d·
Discuss: DEV
🔤Type Theory
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·1h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
POPL Paper—Hyperfunctions: Communicating Continuations
doisinkidney.com·5d
💻Programming languages
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·9h·
Discuss: r/golang
⚡gRPC
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Process Archetypes: The Roles in the Gnome Village
happihacking.com·2d
🐚Bash Monads
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
🛠Language Design
Flag this post